به نام خدا
Title: Engineering Mathematics: The Odd Order Theorem Proof
Authors: Georges Gonthier
Abstract: Even with the assistance of computer tools, the formalized description and verification of research-level mathematics remains a daunting task, not least because of the talent with which mathematicians combine diverse theories to achieve their ends. By combining tools and techniques from type theory, language design, and software engineering we have managed to capture enough of these practices to formalize the proof of the Odd Order theorem, a landmark result in Group Theory.
Publish Year: 2013
Published in: ACM-SIGPLAN-SIGACT
Number of Pages: 2
موضوع: ریاضی مهندسی
مشاهده صفحه اول مقاله
دانلود مقاله
لینک مقاله در سایت ناشر
ایران سای – مرجع مقالات علمی فنی مهندسی
حامی دانش بومی ایرانیان
نظرات شما عزیزان:
تبادل
لینک هوشمند
خبرنامه وب سایت:
آمار
وب سایت: